Набиране на средства 15 септември 2024 – 1 октомври 2024 Относно набирането на средства
1
Concepts in Programming Languages

Concepts in Programming Languages

John C. Mitchell, Krzysztof Apt
Година:
2001
Език:
english
Файл:
PDF, 7.59 MB
0 / 1.0
english, 2001
2
A Brief History of Mathematics for Curious Minds

A Brief History of Mathematics for Curious Minds

Krzysztof R Apt
Година:
2024
Език:
english
Файл:
PDF, 40.13 MB
0 / 4.0
english, 2024
3
Principles of Constraint Programming

Principles of Constraint Programming

Krzysztof Apt
Година:
2003
Език:
english
Файл:
PDF, 1.74 MB
0 / 0
english, 2003
4
From Logic Programming to Prolog

From Logic Programming to Prolog

Krzysztof R. Apt
Година:
1996
Език:
english
Файл:
PDF, 1.30 MB
0 / 0
english, 1996
5
Verification of sequential and concurrent programs

Verification of sequential and concurrent programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Година:
2009
Език:
english
Файл:
PDF, 2.10 MB
0 / 0
english, 2009
6
Principles of constraint programming

Principles of constraint programming

Krzysztof Apt
Година:
2003
Език:
english
Файл:
PDF, 1.73 MB
0 / 0
english, 2003
7
Constraint Logic Programming using Eclipse

Constraint Logic Programming using Eclipse

Krzysztof R. Apt, Mark Wallace
Година:
2007
Език:
english
Файл:
PDF, 1.50 MB
0 / 0
english, 2007
8
Concepts in programming languages

Concepts in programming languages

John C. Mitchell, Krzysztof Apt
Година:
2001
Език:
english
Файл:
PDF, 7.59 MB
0 / 0
english, 2001
9
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Година:
2011
Език:
english
Файл:
PDF, 1.72 MB
0 / 0
english, 2011
11
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Krzysztof R. Apt, Robert van Rooij, eds.
Година:
2009
Език:
english
Файл:
PDF, 8.89 MB
0 / 0
english, 2009
12
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Година:
1997
Език:
english
Файл:
PDF, 9.05 MB
0 / 0
english, 1997
15
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Krzysztof R Apt, J W de Bakker, J J M M Rutten
Година:
1993
Език:
english
Файл:
PDF, 49.82 MB
0 / 0
english, 1993
17
Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt, Erich Grädel
Година:
2011
Език:
english
Файл:
PDF, 1.72 MB
0 / 0
english, 2011
19
Logic programming languages : constraints, functions, and objects

Logic programming languages : constraints, functions, and objects

Apt, Krzysztof R., Rutten, J. J. M. M., Bakker, Jacobus Willem
Година:
1993
Език:
english
Файл:
DJVU, 2.08 MB
0 / 0
english, 1993
22
The Logic programming paradigm : a 25-year perspective

The Logic programming paradigm : a 25-year perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren (eds)
Година:
1999
Език:
english
Файл:
DJVU, 4.12 MB
0 / 0
english, 1999
24
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Година:
1982
Език:
english
Файл:
DJVU, 4.66 MB
0 / 0
english, 1982
26
Logic Programming: The Joint [9th] International Conference & Symposium

Logic Programming: The Joint [9th] International Conference & Symposium

Krzysztof Apt (ed.)
Година:
1992
Език:
english
Файл:
DJVU, 9.47 MB
0 / 0
english, 1992
27
Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Logics of Programs: Workshop, Yorktown Heights, New York, May 1981

Krzysztof R. Apt, Ernst-Rüdiger Olderog (auth.), Dexter Kozen (eds.)
Година:
1982
Език:
english
Файл:
PDF, 10.98 MB
0 / 0
english, 1982
30
New Perspectives on Games and Interaction

New Perspectives on Games and Interaction

Apt, Krzysztof R., Van Rooij, Robert
Година:
2009
Език:
english
Файл:
PDF, 12.72 MB
0 / 0
english, 2009
31
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog
Година:
2009
Език:
english
Файл:
PDF, 8.45 MB
0 / 0
english, 2009
32
Logics and models of concurrent systems

Logics and models of concurrent systems

Krzysztof R Apt, North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
Година:
1985
Език:
english
Файл:
DJVU, 4.51 MB
0 / 0
english, 1985
34
Logics and Models of Concurrent Systems

Logics and Models of Concurrent Systems

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
Година:
1985
Език:
english
Файл:
PDF, 18.36 MB
0 / 0
english, 1985
35
Programmverifikation: Sequentielle, parallele und verteilte Programme

Programmverifikation: Sequentielle, parallele und verteilte Programme

Prof. Dr. Krzysztof R. Apt, Prof. Dr. Ernst-Rüdiger Olderog (auth.)
Година:
1994
Език:
german
Файл:
PDF, 5.39 MB
0 / 0
german, 1994
36
Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog
Година:
1991
Език:
english
Файл:
PDF, 6.94 MB
0 / 0
english, 1991
38
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
Година:
1984
Език:
english
Файл:
DJVU, 5.98 MB
0 / 0
english, 1984
39
Logics and models of concurrent systems

Logics and models of concurrent systems

E. M. Clarke, M. C. Browne, E. A. Emerson, A. P. Sistla (auth.), Krzysztof R. Apt (eds.)
Година:
1985
Език:
english
Файл:
DJVU, 5.18 MB
0 / 0
english, 1985
41
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
Година:
1984
Език:
english
Файл:
PDF, 14.67 MB
0 / 0
english, 1984